/* This file is released in public domain. */

int main_control (int argc, char* argv[]);

int main (int argc, char* argv[])
{
	return main_control (argc, argv);
}

